	.file	"test/string/print.c"
	.text
	.section .rdata,"dr"
LC0:
	.ascii "Hello\0"
	.text
	.globl	_printk
	.def	_printk;	.scl	2;	.type	32;	.endef
_printk:
	pushl	%ebp
	movl	%esp, %ebp
	subl	$16, %esp
	movl	$LC0, -4(%ebp)
	nop
	leave
	ret
	.ident	"GCC: (GNU) 11.3.0"
